Turning Grain Maps into Diagrams

Maps II : Chasing Diagrams

In categorical proof theory, propositions and proofs are presented as objects and arrows in a category. It thus embodies the strong constructivist paradigms of propositions-as-types and proofs-as-constructions , which lie in the foundation of computational logic. Moreover, in the categorical setting, a third paradigm arises, not available elsewhere: logical-operations-as-adjunctions. It ooers a...

Turning Perversion into Fervor

Turning sunlight into stone

Introduction Conclusions References

Turning manure into gold

At a time of global warming, growing environmental concerns and a political situation that is making many industrialised countries critically review their dependency on Middle Eastern oil, the need to develop alternatives to fossil fuels is becoming increasingly important. And this is not just a recurring demand from environmentalists; most industrialised countries signed the Kyoto Treaty, comm...

Turning Meiosis into Mitosis

Apomixis, or asexual clonal reproduction through seeds, is of immense interest due to its potential application in agriculture. One key element of apomixis is apomeiosis, a deregulation of meiosis that results in a mitotic-like division. We isolated and characterised a novel gene that is directly involved in controlling entry into the second meiotic division. By combining a mutation in this gen...